\begin{tabbing}
w\_locl($w$;$x$;$y$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$x$ \+
\\[0ex]rel\_plus(\=w{-}E($w$);\+
\\[0ex]($\lambda$$x$,$y$. $\neg$first($\lambda$$e$.w{-}pred($w$;$e$);$y$) \& $x$ $=$ pred($\lambda$$e$.w{-}pred($w$;$e$);$y$) $\in$ w{-}E($w$))) $y$
\-\-
\end{tabbing}